xen/arm: Remove unused field eoi_cpu in arch_irq_desc
authorJulien Grall <julien.grall@citrix.com>
Fri, 26 Jun 2015 15:43:09 +0000 (16:43 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 3 Jul 2015 15:16:09 +0000 (16:16 +0100)
commit186d39b89ada623da01b9f58e4b8869cfe7a7ac1
treeecbeea7fe19c9e4a06a5ecd06edcab67e8c023f8
parent9379af08ccc05d61f4ca31c7b98231b3b8f56fb3
xen/arm: Remove unused field eoi_cpu in arch_irq_desc

This field have been set but not used since Xen 4.5. Slim down Xen by
about 4K by removing it.

Also fix comment coding style.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/irq.c
xen/include/asm-arm/irq.h